➕ Sum Types - emschwartz · Scour

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

💻Programming languages

GNU C Language Manual

gnu.org·14h

🔢Algebraic Data Types

Designing Boring Software with Functional Programming

agentultra.com·1d

💻Programming languages

Memory layout matters: Reducing metric storage overhead by 4x in a Rust TSDB

baarse.substack.com·18h·

Discuss: r/rust

🏹Apache Arrow

Population Count Pattern

denvaar.dev·1d

🗂️Vector Indexes

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·17h·

Discuss: Hacker News

Making a Language

thunderseethe.dev·11h

💻Programming languages

Building Your Own Efficient uint128 in C++

solidean.com·1d·

Discuss: Lobsters, Hacker News, Hacker News, r/cpp

🔍Binary Analysis

Randomization in Typst

idraluna-archives.bearblog.dev·14h

💾Prompt Caching

[2310.11244] Entity Matching using Large Language Models

arxiv.org·6h

🔄LLM RAG Pipelines

t2x - a CLI tool for AI-first text operations

shruggingface.com·1d

👨‍💻AI Coding

Calculus Made Easy

calculusmadeeasy.org·18h

📏Linear Types

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧮SMT Solvers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

The shape of data

scattered-thoughts.net·2d

⚙Rust Compiler Internals

cognitect/transit-format: A data interchange format.

github.com·21h·

Discuss: Hacker News

💾Binary Formats

Visualizing K-Way Merge&#58 An Interactive Guide to Database Sorting

justinhj.github.io·3d

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·16h·

Discuss: Hacker News

🧮SMT Solvers

Kolmogorov Complexity

en.wikipedia.org·21h·

Discuss: Hacker News

💻Programming languages

Evidence that would update me towards a software-only fast takeoff

lesswrong.com·2d

🔤Font Rendering

Loading more...